Coloquio
Miércoles 28 de noviembre de 2018
12:00hrs
Aula 2
Imparte(n)
Responsable(s):
Gracias a los trabajos de Kurt Gödel y Paul Cohen hoy se sabe
que la gama de enunciados que entran en la categoría de los
indecidibles —que no pueden demostrarse ni refutarse a partir
de una teoría— es muy amplia e incluye algunas preguntas que han
obsesionado a los matemáticos durante largos periodos de
tiempo. Uno de los ejemplos más relevantes es el problema del
continuo de Cantor que, como bien es sabido, consiste en
determinar cuántos números reales hay. En esta charla abordaré este fenómeno de incompletud así como ciertos principios combinatorios más o menos oficiales (conocidos como Axiomas de Forcing y que van más allá de la fundamentación provista por ZFC) bajo los cuales el continuo es igual al segundo cardinal incontable. Finalmente, mencionaré mi contribución para otro posible desenlace (menos ortodoxo) de este problema histórico.
Compartir este seminario